Partial Sum of Geometric Series

Theorem

The sum of the first n terms of a geometric series given by initial term a and common ratio r is

a(1rn)1r.
Proof

Consider the sum

k=0n1ark=a+ar++arn1.

Finding a general expression for the limit of such a sum is just an exercise in re-indexing sums. We proceed as follows

S=k=0n1ark=ak=0n1rk=a+ak=1n1rk=a+ark=1n1rk1=a+ark=0n2rk=a+ar((k=0n2rk)+rn1rn1)=a+ar(k=0n1rk)arn=a+r(k=0n1ark)arn=a+rSarn(1r)S=aarnS=a(1rn)1r.